Structural proof theory - PDFSEARCH.IO - Document Search Engine

Structural proof theory
Results: 38

#	Item
21	Joint Review of1 Computational Complexity: A Conceptual Perspective by Oded Goldreich Published by Cambridge University Press, [removed]pages, Hardcover and Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-09-24 20:19:20 Complexity classes Probabilistic complexity theory Structural complexity theory Models of computation Pseudorandom generator Probabilistically checkable proof NP P versus NP problem Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics
22	Finding Pessiland Hoeteck Wee ? Computer Science Division University of California, Berkeley [removed] Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:53 Complexity classes Structural complexity theory Computability theory Mathematical optimization Oracle machine IP Interactive proof system NP Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics
23	OUP UNCORRECTED PROOF A Theory of Fields FLIGSTEIN-halftitle2-Page Proof Add to Reading List Source URL: sociology.berkeley.edu Language: English - Date: 2014-03-15 08:10:47 Sociological theory Pierre Bourdieu Social movement Structuration Social science Structural functionalism Political science Structure and agency Institutional analysis Science Sociology Knowledge
24	Networks of Relations Thesis by Matthew Cook Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2005-06-09 03:53:09 Metalogic Complexity classes Mathematical logic Proof theory Structural complexity theory Reduction Petri net PP Decidability Theoretical computer science Computational complexity theory Mathematics
25	Approximation Algorithms (ADM III) Add to Reading List Source URL: www.coga.tu-berlin.de Language: English - Date: 2013-02-14 13:17:57 Probabilistic complexity theory Structural complexity theory NP-complete problems Approximation algorithms 2-satisfiability L-reduction Reduction PCP theorem Probabilistically checkable proof Theoretical computer science Applied mathematics Computational complexity theory
26	Polylogarithmic-round Interactive Proofs for coNP Collapse the Exponential Hierarchy Alan L. Selman ∗ Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2004-02-23 11:23:03 Complexity classes Probabilistic complexity theory Structural complexity theory Arthur–Merlin protocol Karp–Lipton theorem Quantum complexity theory NP Interactive proof system IP Theoretical computer science Computational complexity theory Applied mathematics
27	Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems Christian Glaßer ∗ Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2005-07-07 15:16:38 Complexity classes Computability theory Structural complexity theory Mathematical optimization NP-complete NP P versus NP problem Oracle machine Function Theoretical computer science Computational complexity theory Applied mathematics
28	Microsoft Word - SA2 final print proof.doc Add to Reading List Source URL: manghani.free.fr Language: English - Date: 2005-08-11 07:42:48 Environment Environmental social science Critical theory Democracy Public sphere Wilderness Environmentalism The Structural Transformation of the Public Sphere Environmental justice Public opinion Sociology Political science
29	Optimal acceptors and optimal proof systems Edward A. Hirsch? Steklov Institute of Mathematics at St. Petersburg, 27 Fontanka, St. Petersburg[removed], Russia http://logic.pdmi.ras.ru/~hirsch/ Add to Reading List Source URL: logic.pdmi.ras.ru Language: English - Date: 2010-03-28 09:40:37 Complexity classes Structural complexity theory Mathematical optimization Probabilistic complexity theory NP P versus NP problem Propositional proof system PP Mathematical proof Theoretical computer science Computational complexity theory Applied mathematics
30	On P vs. NP and Geometric Complexity Theory Dedicated to Sri Ramakrishna Ketan D. Mulmuley ∗ The University of Chicago (Appears in JACM, vol. 58, issue 2, April[removed]April 20, 2011 Add to Reading List Source URL: ramakrishnadas.cs.uchicago.edu Language: English - Date: 2011-04-20 13:55:53 Complexity classes Structural complexity theory Natural proof Time complexity P L Theorem Reduction Theoretical computer science Computational complexity theory Applied mathematics